Buscar
Mostrando ítems 1-10 de 98
Soporte para ARM en un compilador verificado
(2022-12)
Este trabajo es un estudio de un lenguaje de programación, llamado Jasmin, utilizado para desarrollar criptografía eficiente y confiable, así como una propuesta de una extensión a esta herramienta para agregar soporte para ...
Combination of AHP and TOPSIS methods for the ranking of information security controls to overcome its obstructions under fuzzy environment
(Corporación Universidad de la Costa, 2020)
Computer Aided Verification : 32nd International Conference, CAV 2020 Los Angeles, CA, USA, July 21–24, 2020 Proceedings, Part I
It was our privilege to serve as the program chairs for CAV 2020, the 32nd
International Conference on Computer-Aided Verification. CAV 2020 was held as a
virtual conference during July 21–24, 2020. The tutorial day was ...
Property rights and market behavior in the low-income housing sector: Evidence from Chile
(WILEY, 2022)
Recent decades have seen a strong commitment in development theory and practice toward the idea of promoting homeownership among low-income families, partly based on the idea that property formalization constitutes an ...
O processo de formulação de uma política de segurança de informações segundo a percepção dos gestores: um estudo em instituições hospitalares
(2007-12-18)
O objetivo desta pesquisa foi compreender a participação dos gestores no processo de formulação de estratégias de uma política de segurança de informação identificando os elementos norteadores para a elaboração de uma ...
Criminologia feminista: uma análise do desenvolvimento de uma criminologia sob a crítica da teoria feminista no Brasil com especial foco na mulher transgressora brasileira
(Universidade do Vale do Rio dos Sinos, 2020-08-07)
This research aimed to approach the development of feminist criminology, to understand how it can contribute to the effectiveness of fundamental rights of Brazilian women, with a special focus on incarcerated women. Through ...
Criminologia feminista: uma análise do desenvolvimento de uma criminologia sob a crítica da teoria feminista no Brasil com especial foco na mulher transgressora brasileira
(Universidade do Vale do Rio dos Sinos, 2020-08-07)
This research aimed to approach the development of feminist criminology, to understand how it can contribute to the effectiveness of fundamental rights of Brazilian women, with a special focus on incarcerated women. Through ...
Governança de projetos de segurança à luz da governamentalidade: lições da Copa do Mundo FIFA 2014 em Natal/RN
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM ADMINISTRAÇÃO, 2016-06-30)
In 2014, Brazil hosted the 20ª edition of FIFA World Cup, which took place simultaneously
in 12 host cities, among them Natal/RN. The event employed more than 177,000 men and
invested R $ 1.1 billion only in the security ...
Advances in computing: 12th Colombian conference, CCC 2017, Cali, Colombia, september 19–22, 2017, proceedings
(Springer International Publishing, 2017)
This book constitutes the refereed proceedings of the 12th Colombian Conference on Computing, CCC 2017, held in Cali, Colombia, in September 2017. The 56 revised full papers presented were carefully reviewed and selected ...